701. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
702. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
703. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
704. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
705. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
706. Technology Enhanced Assessment :
پدیدآورنده : edited by Silvester Draaijer, Desirée Joosten-ten Brinke, Eric Ras.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Appl. in Social and Behavioral Sciences.,Computer managed instruction, Congresses.,Computers and Education.,Educational technology, Congresses.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet),Pattern perception.,Systems and Data Security.,Computer managed instruction.,Educational technology.,Pattern perception.
رده :
LB1028
.
46
707. Technology in Mathematics Teaching :
پدیدآورنده : Gilles Aldon, Jana Trgalová, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Mathematics-- Study and teaching, Congresses.,Mathematics-- Data processing.,Mathematics-- Study and teaching.
رده :
QA76
.
95
708. Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science )CWI( June 2- 6, 1986, Amsterdam, the Netherlands
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Telecommunication- Traffic- Congresses,، Electronic digital computers- Evaluation- Congresses
709. The Influence of computers and informatics on mathematics and its teaching
پدیدآورنده : editorial board, R.F. Churchhouse ... )et al.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics - Study and teaching - Congresses,Mathematics - Computer-assisted instruction - Congresses,Computers - Congresses,Computer science - Mathematics - Congresses
رده :
QA
.
A1I425
11
1986
710. The Mathematical Sciences' Role in Homeland Security :
پدیدآورنده : Board on Mathematical Sciences and Their Applications, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioterrorism-- Mathematical models, Congresses.,Civil defense-- United States-- Data processing, Congresses.,Civil defense-- United States-- Mathematics, Congresses.,Data mining, Congresses.,National security-- United States-- Data processing, Congresses.,National security-- United States-- Mathematics, Congresses.,Civil defense-- Data processing.,Data mining.,National security-- Data processing.,POLITICAL SCIENCE-- Political Freedom & Security-- Law Enforcement.,United States., 7
رده :
UA10
.
5
.
M37
2004eb
711. The influence of computing on mathematical research and education
پدیدآورنده : edited by Joseph P. Lasalle
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
712. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
713. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده : J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
714. The mathematical theory of wavelets : prepared for the DIMACS Workshop, held on April 4,5,6 2001, at Rutgers University
پدیدآورنده : Compiled by Guido Weiss
کتابخانه: (طهران)
موضوع : Congresses ، Wavelets )Mathematics(
رده :
QA
403
.
3
.
D5
2001
715. The procedings of the 11th International CSI )Computer Society of Iran( computer conference: CSICC'2006, 24-26 January 2006
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computers
رده :
QA
75
.
5
.
I5
2006
716. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
717. Theoretical and mathematical foundations of computer science :
پدیدآورنده : Qihai Zhou (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
718. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
719. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
720. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
